--- Test case for code generation with monadic code
module examples.Welcome where

main = do
    println "Hi there! What's your name?"
    name ← getLine
    println ("Welcome to Frege, " ++ name ++ "!")
